theorem-proving system
[计] 定理证明系统
热门查询
- nullification n. 无效；废弃；取消；（美）州对联邦法令的拒绝执行或承认
- pediatrics n. 小儿科
- igm abbr. instantaneous gain modulation 瞬时增益调制; intelligent guided munition 智能制导弹药; interactive guidance mode 交互制导模式
- Alderney n. 奥尔德尼乳牛(原产于英国海峡群岛的奥尔德尼岛)
- saboteur n. 怠工者，破坏者；从事破坏活动者
- bitmap n. [计] 位图，位映像
- howdah n. （印度的）象轿
- chokecherry n. （北美产）野樱；苦樱桃
- elucidation n. 说明；阐明
- Marchand [人名] 马钱德; [地名] [刚果共和国] 马尔尚; [地名] [加拿大] 马尔尚
- digression n. 离题；脱轨
- devaluing vt. 使贬值；降低…的价值 vi. 贬值
- sud abbr. 突然意外死亡（sudden unexpected） n. (Sud)人名；(泰)戍
- price war n. 价格战（以减价来吸引顾客） [网络] 价格站；减价战；价格大战
- grampa n. (Grampa)人名；(意)格兰帕
- untimed adj. 不计时的
- conjuror n. 魔术师；变戏法的人
- gangster n. 歹徒，流氓；恶棍
- crossbreed n. 杂种 vt. 使杂交繁育 vi. 杂交繁育
- farside 较远的那一边
考试词汇表
- Lateral cleft of upper lip
- Lateral closed dislocation
- Lateral jugular lymph node
- Lateral mammillary nucleus
- Lateral wall of oropharynx
- Latzko operation on vagina
- Laubenburg uterine curette
- Laurocerasus aquifolioides
- Laurocerasus dolichophylla
- Lauroylpyridoxol Diacetate
- Lavenderleaf Wormwood Leaf
- Lavoisier, Antoine-Laurent
- Law of Biot-Savart-Laplace
- Law of Tnaffic safetyaysga
- Lcarnitine acyltransferase
- Leading Lipstick Indicator
- Leaflet of tricuspid valve
- League Championship Series
- Learnings,Paired-Associate
- Leather garment hand sewer
